(set-logic ALL)
(set-info :status sat)
(declare-fun b () (Set String))
(declare-fun c () (Relation Int Int))
(declare-fun d () (Relation Int Int))
(declare-fun e () Int)
(assert (distinct c (set.insert (tuple 0 0) (set.singleton (tuple 1 1)))))
(assert (distinct d (rel.tclosure c)))
(assert (distinct e (set.card b)))
(check-sat)
